The Necessary Maximality Principle for c . c . c . forcing is equiconsistent with a weakly compact cardinal Joel
نویسندگان
چکیده
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in the minimal extension containing the real. We show that this principle is equiconsistent with the existence of a weakly compact cardinal. The principle is one of a family of principles considered in [Ham03] (building on ideas of [Cha00] and overlapping with independent work in [SV01]). MSC: 03E55, 03E40.
منابع مشابه
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
The Necessary Maximality Principle for c.c.c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. The Necessary Maximality Principle for c.c.c. forcing, denoted 2mpccc(R), asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already tr...
متن کاملOn certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملA simple maximality principle
In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence φ holding in some forcing extension V P and all subsequent extensions V P∗Q̇ holds already in V . It follows, in fact, that such sentences must also hold in all forcing extensions of V . In modal terms, therefore, the Maximality Principle is exp...
متن کاملLocal Clubs, Reflection, and Preserving Stationary Sets
We introduce the filter of locally closed unbounded sets and investigate its properties. As one application, we give a characterization of forcing notions that preserve stationary sets (in eo,). Also the local club filter and its variants lead to reflection principles for stationary sets. While the general reflection principle is related to Martin's Maximum of Foreman, Magidor and Shelah, the r...
متن کاملAn Equiconsistency Result on Partial Squares
We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof(κ) carries a partial square. A famous theorem in set theory is the result that the failure of the square principle κ, for a regular uncountable cardinal κ, is equiconsistent with a Mahlo cardinal. Solovay p...
متن کامل